The Constraint Solver Collaboration Language of BALI
نویسنده
چکیده
In order to deal with constraint solvers integration, re-usability, and cooperation, we have designed a domain independent environment for constraint solver collaboration (i.e., solver cooperation and solver combination) called BALI. This system allows one designing and implementing solver collaborations with a high-level language to compose solvers using collaboration primitives (such as sequentiality, concur-rency and parallelism) and control primitives (such as iterator, xed-point and conditional). In this paper, we present the solver collaboration language of BALI, its operational semantics, some enrichments of the framework, an overview of the implementation, and some applications as well.
منابع مشابه
An Environment for Designing / Executing Constraint
Constraint logic programming is a paradigm based on the notion of constraints and mechanisms for their resolution. The new concept of solver collaboration enables to solve problems that cannot be tackled or eeciently solved with a single solver. We propose BALI, an environment for designing/executing solver collaborations. BALI is a heterogeneous distributed col-laborative problem solving syste...
متن کاملAn Environment for Designing/Executing Constraint Solver Collaborations
Constraint logic programming is a paradigm based on the notion of constraints and mechanisms for their resolution. The new concept of solver collaboration enables to solve problems that cannot be tackled or efficiently soh, ed with a single solver. We propose BALI, an environment for designing/executing solver collaborations. BALI is a heterogeneous distributed collaborativc problem solving sys...
متن کاملFrom Solver Collaboration Expressions to Communicating and Coordinated Agents
In order to deal with constraint solvers integration, re-usability and cooperation, we have designed a domain independent environment for constraint solver collaboration. A high level language for composing solvers using collaboration and control primitives allows one designing solver collaborations that are then automatically implemented. In this paper we are concerned with the intermediate st...
متن کاملAn Architecture for the Combination of Constraint Solvers
In this paper, an architecture for the combination of diierent constraint solvers with the help of projections is proposed. By means of the deenition of an interface and restricting properties of the operations of constraint solvers we are able to deene a mechanism for the open and consistent combination of constraint systems. We enable the use of a functional logic language as constraint solve...
متن کاملCollaborative Constraint Functional Logic Programming System in an Open Environment
In this paper we describe collaborative constraint functional logic programming and the system called Open CFLP that supports this programming paradigm. The system solves equations by collaboration of various equational constraint solvers. The solvers include higher-order lazy narrowing calculi that serve as the interpreter of higher-order functional logic programming, and specialized solvers f...
متن کامل